Optimal. Leaf size=72 \[ \frac{2 b (b c-a d)}{d^3 \sqrt{c+d x^2}}-\frac{(b c-a d)^2}{3 d^3 \left (c+d x^2\right )^{3/2}}+\frac{b^2 \sqrt{c+d x^2}}{d^3} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0581318, antiderivative size = 72, normalized size of antiderivative = 1., number of steps used = 3, number of rules used = 2, integrand size = 22, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.091, Rules used = {444, 43} \[ \frac{2 b (b c-a d)}{d^3 \sqrt{c+d x^2}}-\frac{(b c-a d)^2}{3 d^3 \left (c+d x^2\right )^{3/2}}+\frac{b^2 \sqrt{c+d x^2}}{d^3} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 444
Rule 43
Rubi steps
\begin{align*} \int \frac{x \left (a+b x^2\right )^2}{\left (c+d x^2\right )^{5/2}} \, dx &=\frac{1}{2} \operatorname{Subst}\left (\int \frac{(a+b x)^2}{(c+d x)^{5/2}} \, dx,x,x^2\right )\\ &=\frac{1}{2} \operatorname{Subst}\left (\int \left (\frac{(-b c+a d)^2}{d^2 (c+d x)^{5/2}}-\frac{2 b (b c-a d)}{d^2 (c+d x)^{3/2}}+\frac{b^2}{d^2 \sqrt{c+d x}}\right ) \, dx,x,x^2\right )\\ &=-\frac{(b c-a d)^2}{3 d^3 \left (c+d x^2\right )^{3/2}}+\frac{2 b (b c-a d)}{d^3 \sqrt{c+d x^2}}+\frac{b^2 \sqrt{c+d x^2}}{d^3}\\ \end{align*}
Mathematica [A] time = 0.0379859, size = 67, normalized size = 0.93 \[ \frac{-a^2 d^2-2 a b d \left (2 c+3 d x^2\right )+b^2 \left (8 c^2+12 c d x^2+3 d^2 x^4\right )}{3 d^3 \left (c+d x^2\right )^{3/2}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.005, size = 68, normalized size = 0.9 \begin{align*} -{\frac{-3\,{b}^{2}{d}^{2}{x}^{4}+6\,ab{d}^{2}{x}^{2}-12\,{b}^{2}cd{x}^{2}+{a}^{2}{d}^{2}+4\,cabd-8\,{b}^{2}{c}^{2}}{3\,{d}^{3}} \left ( d{x}^{2}+c \right ) ^{-{\frac{3}{2}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: ValueError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.3561, size = 182, normalized size = 2.53 \begin{align*} \frac{{\left (3 \, b^{2} d^{2} x^{4} + 8 \, b^{2} c^{2} - 4 \, a b c d - a^{2} d^{2} + 6 \,{\left (2 \, b^{2} c d - a b d^{2}\right )} x^{2}\right )} \sqrt{d x^{2} + c}}{3 \,{\left (d^{5} x^{4} + 2 \, c d^{4} x^{2} + c^{2} d^{3}\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 1.27729, size = 303, normalized size = 4.21 \begin{align*} \begin{cases} - \frac{a^{2} d^{2}}{3 c d^{3} \sqrt{c + d x^{2}} + 3 d^{4} x^{2} \sqrt{c + d x^{2}}} - \frac{4 a b c d}{3 c d^{3} \sqrt{c + d x^{2}} + 3 d^{4} x^{2} \sqrt{c + d x^{2}}} - \frac{6 a b d^{2} x^{2}}{3 c d^{3} \sqrt{c + d x^{2}} + 3 d^{4} x^{2} \sqrt{c + d x^{2}}} + \frac{8 b^{2} c^{2}}{3 c d^{3} \sqrt{c + d x^{2}} + 3 d^{4} x^{2} \sqrt{c + d x^{2}}} + \frac{12 b^{2} c d x^{2}}{3 c d^{3} \sqrt{c + d x^{2}} + 3 d^{4} x^{2} \sqrt{c + d x^{2}}} + \frac{3 b^{2} d^{2} x^{4}}{3 c d^{3} \sqrt{c + d x^{2}} + 3 d^{4} x^{2} \sqrt{c + d x^{2}}} & \text{for}\: d \neq 0 \\\frac{\frac{a^{2} x^{2}}{2} + \frac{a b x^{4}}{2} + \frac{b^{2} x^{6}}{6}}{c^{\frac{5}{2}}} & \text{otherwise} \end{cases} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.16322, size = 105, normalized size = 1.46 \begin{align*} \frac{3 \, \sqrt{d x^{2} + c} b^{2} + \frac{6 \,{\left (d x^{2} + c\right )} b^{2} c - b^{2} c^{2} - 6 \,{\left (d x^{2} + c\right )} a b d + 2 \, a b c d - a^{2} d^{2}}{{\left (d x^{2} + c\right )}^{\frac{3}{2}}}}{3 \, d^{3}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]